Browse by Keywords - R

Select the first letter of the keywords to browse

There are 1 record/s using the keyword/s: relational parametricity.

View 25 / 50 / ALL records per page.

TitleDateCreatorPublication TypeInstitution
A Relationally Parametric Model of Dependent Type Theory2014Johann, Patricia FacultyComputer Science, ASU